ePMC - oscillators time_to_synch 8-10-0.1-1-0.1-1.0

Log
assertions-disabled
start-parsing
done-parsing
model-checking
analysing-property time_to_synch
start-building-explorer
start-building-initial-states-explorer
done-building-initial-states-explorer
done-building-explorer
build-model-start
build-model-states-explored 0 0
build-model-states-explored 42 42
build-model-states-explored 105 63
build-model-states-explored 167 62
build-model-states-explored 231 64
build-model-states-explored 294 63
build-model-states-explored 357 63
build-model-states-explored 421 64
build-model-states-explored 484 63
build-model-states-explored 547 63
build-model-states-explored 611 64
build-model-states-explored 674 63
build-model-states-explored 738 64
build-model-states-explored 801 63
build-model-states-explored 865 64
build-model-states-explored 928 63
build-model-states-explored 991 63
build-model-states-explored 1053 62
build-model-states-explored 1117 64
build-model-states-explored 1179 62
build-model-states-explored 1242 63
build-model-states-explored 1304 62
build-model-states-explored 1367 63
build-model-states-explored 1430 63
build-model-states-explored 1494 64
build-model-states-explored 1557 63
build-model-states-explored 1621 64
build-model-states-explored 1684 63
build-model-states-explored 1748 64
build-model-states-explored 1811 63
build-model-states-explored 1874 63
build-model-states-explored 1938 64
build-model-states-explored 2001 63
build-model-states-explored 2064 63
build-model-states-explored 2128 64
build-model-states-explored 2191 63
build-model-states-explored 2255 64
build-model-states-explored 2319 64
build-model-states-explored 2382 63
build-model-states-explored 2446 64
build-model-states-explored 2509 63
build-model-states-explored 2573 64
build-model-states-explored 2636 63
build-model-states-explored 2700 64
build-model-states-explored 2764 64
build-model-states-explored 2827 63
build-model-states-explored 2890 63
build-model-states-explored 2953 63
build-model-states-explored 3017 64
build-model-states-explored 3081 64
build-model-states-explored 3145 64
build-model-states-explored 3208 63
build-model-states-explored 3272 64
build-model-states-explored 3336 64
build-model-states-explored 3400 64
build-model-states-explored 3463 63
build-model-states-explored 3527 64
build-model-states-explored 3591 64
build-model-states-explored 3655 64
build-model-states-explored 3717 62
build-model-states-explored 3780 63
build-model-states-explored 3843 63
build-model-states-explored 3906 63
build-model-states-explored 3970 64
build-model-states-explored 4034 64
build-model-states-explored 4097 63
build-model-states-explored 4160 63
build-model-states-explored 4224 64
build-model-states-explored 4287 63
build-model-states-explored 4351 64
build-model-states-explored 4415 64
build-model-states-explored 4478 63
build-model-states-explored 4542 64
build-model-states-explored 4606 64
build-model-states-explored 4670 64
build-model-states-explored 4733 63
build-model-states-explored 4797 64
build-model-states-explored 4861 64
build-model-states-explored 4925 64
build-model-states-explored 4988 63
build-model-states-explored 5052 64
build-model-states-explored 5116 64
build-model-states-explored 5179 63
build-model-states-explored 5243 64
build-model-states-explored 5307 64
build-model-states-explored 5370 63
build-model-states-explored 5434 64
build-model-states-explored 5498 64
build-model-states-explored 5561 63
build-model-states-explored 5625 64
build-model-states-explored 5688 63
build-model-states-explored 5751 63
build-model-states-explored 5814 63
build-model-states-explored 5878 64
build-model-states-explored 5941 63
build-model-states-explored 6005 64
build-model-states-explored 6069 64
build-model-states-explored 6132 63
build-model-states-explored 6196 64
build-model-states-explored 6260 64
build-model-states-explored 6323 63
build-model-states-explored 6387 64
build-model-states-explored 6451 64
build-model-states-explored 6515 64
build-model-states-explored 6578 63
build-model-states-explored 6642 64
build-model-states-explored 6706 64
build-model-states-explored 6769 63
build-model-states-explored 6833 64
build-model-states-explored 6897 64
build-model-states-explored 6961 64
build-model-states-explored 7025 64
build-model-states-explored 7088 63
build-model-states-explored 7152 64
build-model-states-explored 7216 64
build-model-states-explored 7280 64
build-model-states-explored 7343 63
build-model-states-explored 7407 64
build-model-states-explored 7471 64
build-model-states-explored 7535 64
build-model-states-explored 7599 64
build-model-states-explored 7662 63
build-model-states-explored 7726 64
build-model-states-explored 7789 63
build-model-states-explored 7853 64
build-model-states-explored 7917 64
build-model-states-explored 7981 64
build-model-states-explored 8044 63
build-model-states-explored 8108 64
build-model-states-explored 8172 64
build-model-states-explored 8235 63
build-model-states-explored 8299 64
build-model-states-explored 8362 63
build-model-states-explored 8426 64
build-model-states-explored 8490 64
build-model-states-explored 8554 64
build-model-states-explored 8618 64
build-model-states-explored 8682 64
build-model-states-explored 8746 64
build-model-states-explored 8809 63
build-model-states-explored 8873 64
build-model-states-explored 8937 64
build-model-states-explored 9000 63
build-model-states-explored 9064 64
build-model-states-explored 9128 64
build-model-states-explored 9192 64
build-model-states-explored 9256 64
build-model-states-explored 9320 64
build-model-states-explored 9384 64
build-model-states-explored 9447 63
build-model-states-explored 9511 64
build-model-states-explored 9575 64
build-model-states-explored 9638 63
build-model-states-explored 9702 64
build-model-states-explored 9766 64
build-model-states-explored 9829 63
build-model-states-explored 9893 64
build-model-states-explored 9957 64
build-model-states-explored 10021 64
build-model-states-explored 10085 64
build-model-states-explored 10149 64
build-model-states-explored 10213 64
build-model-states-explored 10277 64
build-model-states-explored 10341 64
build-model-states-explored 10405 64
build-model-states-explored 10469 64
build-model-states-explored 10533 64
build-model-states-explored 10597 64
build-model-states-explored 10661 64
build-model-states-explored 10725 64
build-model-states-explored 10789 64
build-model-states-explored 10853 64
build-model-states-explored 10917 64
build-model-states-explored 10980 63
build-model-states-explored 11044 64
build-model-states-explored 11108 64
build-model-states-explored 11172 64
build-model-states-explored 11236 64
build-model-states-explored 11300 64
build-model-states-explored 11364 64
build-model-states-explored 11428 64
build-model-states-explored 11492 64
build-model-states-explored 11555 63
build-model-states-explored 11619 64
build-model-states-explored 11683 64
build-model-states-explored 11747 64
build-model-states-explored 11811 64
build-model-states-explored 11875 64
build-model-states-explored 11940 65
build-model-states-explored 12004 64
build-model-states-explored 12068 64
build-model-states-explored 12132 64
build-model-states-explored 12196 64
build-model-states-explored 12260 64
build-model-states-explored 12324 64
build-model-states-explored 12388 64
build-model-states-explored 12452 64
build-model-states-explored 12516 64
build-model-states-explored 12580 64
build-model-states-explored 12644 64
build-model-states-explored 12708 64
build-model-states-explored 12772 64
build-model-states-explored 12836 64
build-model-states-explored 12900 64
build-model-states-explored 12964 64
build-model-states-explored 13028 64
build-model-states-explored 13092 64
build-model-states-explored 13156 64
build-model-states-explored 13220 64
build-model-states-explored 13284 64
build-model-states-explored 13348 64
build-model-states-explored 13412 64
build-model-states-explored 13476 64
build-model-states-explored 13540 64
build-model-states-explored 13604 64
build-model-states-explored 13668 64
build-model-states-explored 13732 64
build-model-states-explored 13796 64
build-model-states-explored 13860 64
build-model-states-explored 13924 64
build-model-states-explored 13987 63
build-model-states-explored 14051 64
build-model-states-explored 14115 64
build-model-states-explored 14179 64
build-model-states-explored 14243 64
build-model-states-explored 14308 65
build-model-states-explored 14372 64
build-model-states-explored 14436 64
build-model-states-explored 14500 64
build-model-states-explored 14564 64
build-model-states-explored 14628 64
build-model-states-explored 14692 64
build-model-states-explored 14756 64
build-model-states-explored 14820 64
build-model-states-explored 14884 64
build-model-states-explored 14948 64
build-model-states-explored 15012 64
build-model-states-explored 15076 64
build-model-states-explored 15140 64
build-model-states-explored 15204 64
build-model-states-explored 15269 65
build-model-states-explored 15333 64
build-model-states-explored 15396 63
build-model-states-explored 15460 64
build-model-states-explored 15524 64
build-model-states-explored 15588 64
build-model-states-explored 15652 64
build-model-states-explored 15717 65
build-model-states-explored 15781 64
build-model-states-explored 15845 64
build-model-states-explored 15909 64
build-model-states-explored 15973 64
build-model-states-explored 16037 64
build-model-states-explored 16102 65
build-model-states-explored 16166 64
build-model-states-explored 16230 64
build-model-states-explored 16294 64
build-model-states-explored 16359 65
build-model-states-explored 16421 62
build-model-states-explored 16485 64
build-model-states-explored 16549 64
build-model-states-explored 16613 64
build-model-states-explored 16678 65
build-model-states-explored 16742 64
build-model-states-explored 16806 64
build-model-states-explored 16871 65
build-model-states-explored 16935 64
build-model-states-explored 16996 61
build-model-states-explored 17058 62
build-model-states-explored 17122 64
build-model-states-explored 17187 65
build-model-states-explored 17251 64
build-model-states-explored 17315 64
build-model-states-explored 17379 64
build-model-states-explored 17444 65
build-model-states-explored 17508 64
build-model-states-explored 17572 64
build-model-states-explored 17636 64
build-model-states-explored 17700 64
build-model-states-explored 17764 64
build-model-states-explored 17828 64
build-model-states-explored 17892 64
build-model-states-explored 17956 64
build-model-states-explored 18020 64
build-model-states-explored 18084 64
build-model-states-explored 18148 64
build-model-states-explored 18212 64
build-model-states-explored 18276 64
build-model-states-explored 18341 65
build-model-states-explored 18405 64
build-model-states-explored 18469 64
build-model-states-explored 18533 64
build-model-states-explored 18598 65
build-model-states-explored 18662 64
build-model-states-explored 18727 65
build-model-states-explored 18791 64
build-model-states-explored 18855 64
build-model-states-explored 18920 65
build-model-states-explored 18984 64
build-model-states-explored 19048 64
build-model-states-explored 19113 65
build-model-states-explored 19177 64
build-model-states-explored 19241 64
build-model-states-explored 19305 64
build-model-states-explored 19369 64
build-model-states-explored 19433 64
build-model-states-explored 19497 64
build-model-states-explored 19561 64
build-model-states-explored 19625 64
build-model-states-explored 19689 64
build-model-states-explored 19753 64
build-model-states-explored 19817 64
build-model-states-explored 19882 65
build-model-states-explored 19946 64
build-model-states-explored 20010 64
build-model-states-explored 20075 65
build-model-states-explored 20139 64
build-model-states-explored 20203 64
build-model-states-explored 20267 64
build-model-states-explored 20332 65
build-model-states-explored 20396 64
build-model-states-explored 20461 65
build-model-states-explored 20525 64
build-model-states-explored 20589 64
build-model-states-explored 20654 65
build-model-states-explored 20718 64
build-model-states-explored 20782 64
build-model-states-explored 20847 65
build-model-states-explored 20911 64
build-model-states-explored 20975 64
build-model-states-explored 21039 64
build-model-states-explored 21104 65
build-model-states-explored 21168 64
build-model-states-explored 21232 64
build-model-states-explored 21296 64
build-model-states-explored 21361 65
build-model-states-explored 21425 64
build-model-states-explored 21489 64
build-model-states-explored 21554 65
build-model-states-explored 21618 64
build-model-states-explored 21682 64
build-model-states-explored 21747 65
build-model-states-explored 21811 64
build-model-states-explored 21875 64
build-model-states-explored 21940 65
build-model-states-explored 22004 64
build-model-states-explored 22069 65
build-model-states-explored 22133 64
build-model-states-explored 22197 64
build-model-states-explored 22262 65
build-model-states-explored 22326 64
build-model-states-explored 22391 65
build-model-states-explored 22455 64
build-model-states-explored 22519 64
build-model-states-explored 22584 65
build-model-states-explored 22648 64
build-model-states-explored 22713 65
build-model-states-explored 22777 64
build-model-states-explored 22842 65
build-model-states-explored 22906 64
build-model-states-explored 22970 64
build-model-states-explored 23035 65
build-model-states-explored 23099 64
build-model-states-explored 23163 64
build-model-states-explored 23227 64
build-model-states-explored 23292 65
build-model-states-explored 23356 64
build-model-states-explored 23421 65
build-model-states-explored 23485 64
build-model-states-explored 23550 65
build-model-states-explored 23614 64
build-model-states-explored 23679 65
build-model-states-explored 23743 64
build-model-states-explored 23807 64
build-model-states-explored 23872 65
build-model-states-explored 23937 65
build-model-states-explored 24001 64
build-model-states-explored 24066 65
build-model-states-explored 24130 64
build-model-states-explored 24195 65
build-model-states-explored 24259 64
build-model-done 24311 381
iterating
iterating-done 1728 0
model-checking-done 399
command-check-result-is 6.007252477143303 time_to_synch
Model:	oscillators v.1 (DTMC)
Parameter(s)	N = 8, T = 10, epsilon = 0.1, R = 1, mu = 0.1, lambda = 1.0
Property:	time_to_synch (exp-reward)
Walltime:	424.566118478775s
Return code:	0
Relative Error:	2.806540943774927e-05